home *** CD-ROM | disk | FTP | other *** search
/ MacHack 1996 / MacHack 1996.toast / Presentations / Presentations ’94 / Timothy Knox / Help / Help Files / Constraints / Somme-Drome < prev    next >
Text File  |  1994-06-24  |  1KB  |  39 lines
  1. {  AIN ;;; a french cryptarithmetic puzzle. Each line is a french department
  2.  AISNE 
  3.  DROME
  4.  MARNE
  5.  -----
  6.  SOMME  }
  7. (c)
  8.  
  9. ;;; Variables
  10. ( r0 e n r1 m i r2 a r o r3 s d)
  11.  
  12. ;;; Constraints
  13. ((=? (+ n (* 3 e)) (+ e (* 10 r0)))
  14.  (=? (+ r0 (+ i (+ n (+ m n)))) (+ m (* 10 r1)))
  15.  (=? (+ r1 (+ a (+ s (+ o r)))) (+ m (* 10 r2)))
  16.  (=? (+ r2 (+ a (+ i r))) (+ o (* 10 r3)))
  17.  (=? (+ r3 (+ a (+ d m))) s)
  18.  (<>? e n) (<>? e m) (<>? e i) (<>? e a)
  19.  (<>? e r) (<>? e o) (<>? e s) (<>? e d)
  20.  (<>? n m) (<>? n i) (<>? n a) (<>? n r)
  21.  (<>? n o) (<>? n s) (<>? n d) (<>? m i)
  22.  (<>? m a) (<>? m r) (<>? m o) (<>? m s)
  23.  (<>? m d) (<>? i a) (<>? i r) (<>? i o)
  24.  (<>? i s) (<>? i d) (<>? a r) (<>? a o)
  25.  (<>? a s) (<>? a d) (<>? r o) (<>? r s)
  26.  (<>? r d) (<>? o s) (<>? o d) (<>? s d)
  27.  (<>? a 0)(<>? d 0)(<>? m 0)(<>? s 0))
  28.  
  29. ;;; Domains
  30. ((0 1)
  31.  (0 1 2 3 4 5 6 7 8 9) (0 1 2 3 4 5 6 7 8 9)
  32.  (0 1)
  33.  (0 1 2 3 4 5 6 7 8 9) (0 1 2 3 4 5 6 7 8 9)
  34.  (0 1)
  35.  (0 1 2 3 4 5 6 7 8 9) (0 1 2 3 4 5 6 7 8 9) (0 1 2 3 4 5 6 7 8 9)
  36.  (0 1)
  37.  (0 1 2 3 4 5 6 7 8 9) (0 1 2 3 4 5 6 7 8 9))
  38.  
  39.